-
1 classical propositional logic
English-Russian scientific dictionary > classical propositional logic
-
2 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
3 logic
-
4 logic
1) логика
2) словный
3) логический
– binary logic
– combinational logic
– combinatory logic
– commodity logic
– constructive logic
– core logic
– diode-transister logic
– diode-transistor logic
– extensional logic
– formal logic
– glue logic
– irregular logic
– lack of logic
– ladder logic
– level logic
– logic circuit
– logic diagram
– logic element
– logic gate
– logic machine
– logic modulus
– logic strength
– logic transistor
– majority logic
– mathematical logic
– modal logic
– negative logic
– NOR logic circuit
– predicate logic
– probabilistic logic
– propositional logic
– resistor-transistor logic
– ternary logic
– threshold logic
– transistor-transistor logic
– transistor-transistor logic
capacitive diode FET logic — логика на полевых транзисторах с емкостными связями через диоды
classical propositional logic — классическая логика высказываний
threshold logic unit — <comput.> блок логический пороговый
uncommitted logic elements — нескоммутированные логические элементы
-
5 propositional
-
6 classical
1) классический
2) канонический
– classical mechanics
– classical model
– classical statistics
– classical theory
classical propositional logic — классическая логика высказываний
-
7 Thinking
But what then am I? A thing which thinks. What is a thing which thinks? It is a thing which doubts, understands, [conceives], affirms, denies, wills, refuses, which also imagines and feels. (Descartes, 1951, p. 153)I have been trying in all this to remove the temptation to think that there "must be" a mental process of thinking, hoping, wishing, believing, etc., independent of the process of expressing a thought, a hope, a wish, etc.... If we scrutinize the usages which we make of "thinking," "meaning," "wishing," etc., going through this process rids us of the temptation to look for a peculiar act of thinking, independent of the act of expressing our thoughts, and stowed away in some particular medium. (Wittgenstein, 1958, pp. 41-43)Analyse the proofs employed by the subject. If they do not go beyond observation of empirical correspondences, they can be fully explained in terms of concrete operations, and nothing would warrant our assuming that more complex thought mechanisms are operating. If, on the other hand, the subject interprets a given correspondence as the result of any one of several possible combinations, and this leads him to verify his hypotheses by observing their consequences, we know that propositional operations are involved. (Inhelder & Piaget, 1958, p. 279)In every age, philosophical thinking exploits some dominant concepts and makes its greatest headway in solving problems conceived in terms of them. The seventeenth- and eighteenth-century philosophers construed knowledge, knower, and known in terms of sense data and their association. Descartes' self-examination gave classical psychology the mind and its contents as a starting point. Locke set up sensory immediacy as the new criterion of the real... Hobbes provided the genetic method of building up complex ideas from simple ones... and, in another quarter, still true to the Hobbesian method, Pavlov built intellect out of conditioned reflexes and Loeb built life out of tropisms. (S. Langer, 1962, p. 54)Experiments on deductive reasoning show that subjects are influenced sufficiently by their experience for their reasoning to differ from that described by a purely deductive system, whilst experiments on inductive reasoning lead to the view that an understanding of the strategies used by adult subjects in attaining concepts involves reference to higher-order concepts of a logical and deductive nature. (Bolton, 1972, p. 154)There are now machines in the world that think, that learn and create. Moreover, their ability to do these things is going to increase rapidly until-in the visible future-the range of problems they can handle will be coextensive with the range to which the human mind has been applied. (Newell & Simon, quoted in Weizenbaum, 1976, p. 138)But how does it happen that thinking is sometimes accompanied by action and sometimes not, sometimes by motion, and sometimes not? It looks as if almost the same thing happens as in the case of reasoning and making inferences about unchanging objects. But in that case the end is a speculative proposition... whereas here the conclusion which results from the two premises is an action.... I need covering; a cloak is a covering. I need a cloak. What I need, I have to make; I need a cloak. I have to make a cloak. And the conclusion, the "I have to make a cloak," is an action. (Nussbaum, 1978, p. 40)It is well to remember that when philosophy emerged in Greece in the sixth century, B.C., it did not burst suddenly out of the Mediterranean blue. The development of societies of reasoning creatures-what we call civilization-had been a process to be measured not in thousands but in millions of years. Human beings became civilized as they became reasonable, and for an animal to begin to reason and to learn how to improve its reasoning is a long, slow process. So thinking had been going on for ages before Greece-slowly improving itself, uncovering the pitfalls to be avoided by forethought, endeavoring to weigh alternative sets of consequences intellectually. What happened in the sixth century, B.C., is that thinking turned round on itself; people began to think about thinking, and the momentous event, the culmination of the long process to that point, was in fact the birth of philosophy. (Lipman, Sharp & Oscanyan, 1980, p. xi)The way to look at thought is not to assume that there is a parallel thread of correlated affects or internal experiences that go with it in some regular way. It's not of course that people don't have internal experiences, of course they do; but that when you ask what is the state of mind of someone, say while he or she is performing a ritual, it's hard to believe that such experiences are the same for all people involved.... The thinking, and indeed the feeling in an odd sort of way, is really going on in public. They are really saying what they're saying, doing what they're doing, meaning what they're meaning. Thought is, in great part anyway, a public activity. (Geertz, quoted in J. Miller, 1983, pp. 202-203)Everything should be made as simple as possible, but not simpler. (Einstein, quoted in Minsky, 1986, p. 17)What, in effect, are the conditions for the construction of formal thought? The child must not only apply operations to objects-in other words, mentally execute possible actions on them-he must also "reflect" those operations in the absence of the objects which are replaced by pure propositions. Thus, "reflection" is thought raised to the second power. Concrete thinking is the representation of a possible action, and formal thinking is the representation of a representation of possible action.... It is not surprising, therefore, that the system of concrete operations must be completed during the last years of childhood before it can be "reflected" by formal operations. In terms of their function, formal operations do not differ from concrete operations except that they are applied to hypotheses or propositions [whose logic is] an abstract translation of the system of "inference" that governs concrete operations. (Piaget, quoted in Minsky, 1986, p. 237)[E]ven a human being today (hence, a fortiori, a remote ancestor of contemporary human beings) cannot easily or ordinarily maintain uninterrupted attention on a single problem for more than a few tens of seconds. Yet we work on problems that require vastly more time. The way we do that (as we can observe by watching ourselves) requires periods of mulling to be followed by periods of recapitulation, describing to ourselves what seems to have gone on during the mulling, leading to whatever intermediate results we have reached. This has an obvious function: namely, by rehearsing these interim results... we commit them to memory, for the immediate contents of the stream of consciousness are very quickly lost unless rehearsed.... Given language, we can describe to ourselves what seemed to occur during the mulling that led to a judgment, produce a rehearsable version of the reaching-a-judgment process, and commit that to long-term memory by in fact rehearsing it. (Margolis, 1987, p. 60)Historical dictionary of quotations in cognitive science > Thinking
-
8 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
См. также в других словарях:
Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia